< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
水声通信技术是海洋领域中具有重要地位的核心技术，对水下观测、作业和军事活动具有重要的支撑作用。Seatrix2000低频水声通信机是一种采用声学方式实现信息传输的水下无线通信设备，其采用先进的编解码及调制解调技术，具有小型化、发射功率可调、多码率等特点。
标签： 水声通信机
上传时间： 2021-11-25
上传用户：
集群移动通信机和对讲机原理、使用及维护手册
上传时间： 2013-05-30
上传用户：eeworm
专辑类-家电维修相关专辑-88册-9.18G 集群移动通信机和对讲机原理、使用及维护手册-352页-6.5M.pdf
上传时间： 2013-04-24
上传用户：lili123
基于MELP的水下实时语音通信机的研究与实现
上传时间： 2013-11-08
上传用户：1966649934
％直接型到并联型的转换 ％ ％[C,B,A]=dir2par(b,a) ％C为当b的长度大于a时的多项式部分 ％B为包含各bk的K乘2维实系数矩阵 ％A为包含各ak的K乘3维实系数矩阵 ％b为直接型分子多项式系数 ％a为直接型分母多项式系数 ％
上传时间： 2014-01-20
上传用户：lizhen9880
直接型到级联型的形式转换 ％ [b0,B,A]=dir2cas(b,a) ％b 为直接型的分子多项式系数 ％a 为直接型的分母多项式系数 ％b0为增益系数 ％B 为包含各bk的K乘3维实系数矩阵 ％A 为包含各ak的K乘3维实系数矩阵 ％
上传时间： 2013-12-30
上传用户：agent
B树及其B+树的实现代码，支持模版（数据类型，M值）
上传时间： 2016-02-22
上传用户：jhksyghr
Description Calculate a+b Input Two integer a,b (0<=a,b<=101000) Output Output a + b Sample Input 5 7 Sample Output 12
标签： Description Calculate integer 101000
上传时间： 2014-01-25
上传用户：tonyshao
Prentice Hall 出版的整合linux和windows <b>英文原版<b> 另本人有大量电子书，O Reilly的最多 有需要的朋友在我的个人空间上给我留言
标签： Prentice windows linux Hall
上传时间： 2014-01-22
上传用户：JIUSHICHEN
